On Two Hierarchies of Subregularly Tree Controlled Languages

نویسندگان

  • Jürgen Dassow
  • Bianca Truthe
چکیده

Tree controlled grammars are context-free grammars where the associated language only contains those terminal words which have a derivation where the word of any level of the corresponding derivation tree belongs to a given regular language. In this paper, we consider first the case that we take only such regular languages as the control set which can be represented by finite unions of monoids. We show that the corresponding hierarchy of tree controlled languages collapses already at the level 2. Moreover, we present a characterization of both levels by well-known language families generated by extended Lindenmayer systems. Furthermore, we give some comments on the hierarchy of tree controlled languages if one restricts the number of states allowed in the accepting automaton of the regular control language.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Subregularly Tree Controlled Grammars and Languages

Tree controlled grammars are context-free grammars where the associated language only contains those terminal words which have a derivation where the word of any level of the corresponding derivation tree belongs to a given regular language. We present some results on the power of such grammars where we restrict the regular languages to some known subclasses of the family of regular languages.

متن کامل

Two infinite hierarchies of languages defined by branching grammars

Two types of branching grammars are introduced inspired from Havel's works about branching automata. They naturally define two infinite hierarchies into the family of regular, respectively, linear languages. Homomorphic characterisations of regular and linear languages >n terms of branching languages are obtained. Finally, the relations between branching grammars and contextual grammars of [5] ...

متن کامل

Output String Languages of Compositions of Deterministic Macro Tree Transducers

The composition of total deterministic macro tree transducers gives rise to a proper hierarchy with respect to their output string languages (these are the languages obtained by taking the yields of the output trees). There is a language not in this hierarchy which can be generated by a (quite restricted) nondeterministic string transducer, namely, a two-way generalized sequential machine. Simi...

متن کامل

Multidimensional fuzzy finite tree automata

This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...

متن کامل

Linear Time Hierarchies and Functional Languages

y Abstract In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a rst-order functional language based on tree-structured data (F), as well as for an extension of that language based on graph-structured data (F su). We consider the Categorical Abstract Machine (CAM), a canonical machine model for implementing higher order functional languages. We sh...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008